package se.sics.kompics.tutorial.tutorial1.appPFD;

import se.sics.kompics.PortType;
import se.sics.kompics.tutorial.tutorial1.appPFD.crash.CrashEvent;

public final class PerfectFailureDetector extends PortType {
	{
		indication(CrashEvent.class);
	}

}
